Modeling and verification using UML statecharts - a working guide to reactive system design, runtime monitoring and execution-based model checking
نویسنده
چکیده
reconfigurable system design and verification PDF ten steps to a results-based monitoring and evaluation system a handbook for development practitioners PDF reactive flow modeling of hydrothermal systems 1st edition PDF system design modeling and metamodeling PDF zenoss core network and system monitoring a step-by-step guide to configuring using and adapting this free open source network monitoring system mark r hinkle vp of community zenoss inc PDF
منابع مشابه
Runtime Verification of Statechart Implementations
Our paper introduces a runtime verification framework for concurrent monitoring of applications specified by UML statecharts. The approach offers a considerable degree of granularity by (i) enabling the modeler to focus on specific key dependability criteria by defining temporal logic formulae over a behavioral model that is available even in early phases of the development and (ii) by supporti...
متن کاملA Model Checking Verification Environment for Uml Statecharts
In this paper we present the state/event-based temporal logic μUCTL which is a logic oriented towards a natural description of dynamic properties of UML models. This logic allows to specify the basic properties that a runtime system configuration should satisfy and to combine these basic predicates with logic and temporal operators which allow to take into consideration also the events performe...
متن کاملDesign and Verification of Industrial Logic Controllers with UML and Statecharts
The paper describes a methodological framework that aims to apply formal design and verification techniques to the domain of Logic Control and Supervision for Manufacturing Systems. The methodology is based on a Object-Oriented approach, supported by a syntactical and semantical adaptation of the semi-formal software specification languages UML and Statecharts. The modeling languages has been s...
متن کاملValidating time-constrained systems using UML Statecharts Patterns and Timed Automata Observers
The work presented in this paper is part of a project that aims to develop of a new approach to time-constrained system verification based on UML. In fact, being relatively easy to learn and use, UML is very popular, unlike formal methods. Nevertheless, formal models provide developers with several advantages: they can be used for activities, such as properties verification, which are crucial f...
متن کاملDWARF-driven Equivalence Checking of UML Statecharts and Software Components
This article presents an instrumentation-free runtime verification methodology built upon an external observer which uses DWARF-statements to monitor system behavior. The observer delivers information about variable values used for state-encoding and method calls representing transitions. These information are passed to an engine which parses the system specification in terms of a UML statechar...
متن کامل